Real time formal specification using VDM++
نویسندگان
چکیده
VDM++ is a formal Object Oriented Specification language, derived from VDM. lt extends VDM by providing object-orientation, real-time as well as paraUel features. The use of the language is supported by design guidelines and a too! set. The latter offers graphical representations, syntactic and semantic checking, pretty printing and code generation. ln this paper we address the handling of particular real-time issues a.s supported by the language. An outline specification case study is included.
منابع مشابه
Data and Control Flow Analysis of VDMμ Specifications
Formal Specification languages are being widely used for system specification and testing. Highly critical systems such as real time systems, avionics, and medical systems are represented using Formal specification languages. Formal specifications based testing is mostly performed using black box testing approaches thus testing only the set of inputs and outputs of the system. The formal specif...
متن کاملFormal Validation of Behavioral Model using State Based and Event Based Approaches
A number of formal methods are available in literature for analysis and design of software as well as hardware systems. To choose a particular specification method, it depends on the character of the desired product. As the complexity of software increases, the need for reasoning about correct behaviour becomes more prominent. Formal methods are a set of techniques for analysis, verification, a...
متن کاملUsing the Vienna Development Method (VDM) to Formalize a Communication Protocol
The Vienna Development Method (VDM) is based upon iterative refinement of formal specifications written in the model-oriented specification language, Meta-IV. VDM is also an informal collection of experiences in formal specification within several application domains. This paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.
متن کاملIntegrated Formal and Object-Oriented Methods: The VDM ++ Approach
This paper describes methods integration techniques and tools developed for the VDM formal specification language. Case studies which have been carried out for the language using tool support for the integrated development method are also described. The original features of the method are its use of highly abstract initial specifications to avoid the design bias of object-oriented structuring, ...
متن کاملFormal Modeling and Verification of Smart Traffic Environment with Design Aided by UML
Issue challan in response to rules violation, LED (Light Emitting Diode) and Bridge components of this proposed Smart Traffic Monitoring and Guidance System are presented in this paper to monitor violation of rules, update users about traffic congestion through LED and to provide central hub to communicate with sensors to update server about the traffic situation. It involves the Wireless Senso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996